]> dgit.raspbian.org Git - gnome-shell.git/commit
workspacesView: Add some more spacing between window and workspace thumbs
authorJasper St. Pierre <jstpierre@mecheye.net>
Mon, 20 Aug 2012 22:30:04 +0000 (18:30 -0400)
committerJasper St. Pierre <jstpierre@mecheye.net>
Tue, 23 Oct 2012 19:12:45 +0000 (15:12 -0400)
commit96556eb9596ef61e0db8ebcdc2aa40cac901f88b
treec13b1410e4264618041059eeba731b98e5b91900
parent3ffeeac577b3cd5d087344106625c5ae8a8341de
workspacesView: Add some more spacing between window and workspace thumbs

https://bugzilla.gnome.org/show_bug.cgi?id=582650
data/theme/gnome-shell.css
js/ui/workspacesView.js